Wyniki
-
A formal interpretation of propositions
Janusz Kaczmarek
Bulletin of the Section of Logic , 22 /1 (1993) s. 13-17 -
On the Porphyrian Tree Structure and an Operation of Determination
Janusz Kaczmarek
Bulletin of the Section of Logic , 31 /1 (2002) s. 37-46 -
Positive and Negative Properties : a Logical Interpretation
Janusz Kaczmarek
Bulletin of the Section of Logic , 32 /4 (2003) s. 179-189 -
What is a Formalized Ontology Today? An Example of IIC
Janusz Kaczmarek
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 233-244 -
A remark on countable algebraic models
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /1 (1979) s. 2-6 -
A purely algebraic proof of the omitting types theorem
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /1 (1979) s. 7-9 -
Large matrices which induce finite consequence operations
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /2 (1979) s. 79-82 -
A characterization of Matr(C)
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /2 (1979) s. 83-86 -
ω-saturated matrices
Janusz Czelakowski
Bulletin of the Section of Logic , 8 /3 (1979) s. 120-123 -
Equivalential logics (I)
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /2 (1980) s. 88-92 -
Equivalential logics (II)
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /3 (1980) s. 108-114 -
A remark on free products
Janusz Czelakowski
Bulletin of the Section of Logic , 9 /3 (1980) s. 125-130 -
Algebraic aspects of deduction theorems
Janusz Czelakowski
Bulletin of the Section of Logic , 12 /3 (1983) s. 111-116 -
Some remarks on transitive partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 166-171 -
Another approach to partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 175-176 -
On imbedding of partial Boolean algebras into Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 178-180 -
A local property of imbeddings for partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 2 /3 (1973) s. 182-183 -
Partial Boolean σ-algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 3 /1 (1974) s. 45-48 -
Logics based on partial Boolean σ-algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 3 /2 (1974) s. 31-35 -
The identity relation and partial Boolean algebras
Janusz Czelakowski
Bulletin of the Section of Logic , 3 /3-4 (1974) s. 34-36